Trustworthy Storage and Exchange of Theorems
نویسنده
چکیده
A large e ort is usually required to have a theorem prover establish a complex theorem Having invested this e ort how can we store the result for later use or communicate it to others while preserving our trust in its validity This paper discusses the use of digital signatures to store and exchange theorems in a secure way
منابع مشابه
Trustworthy Storage and Exchange of Theorems Trustworthy Storage and Exchange of Theorems
A large e ort is usually required to have a theorem prover establish a complex theorem. Having invested this e ort, how can we store the result for later use, or communicate it to others while preserving our trust in its validity? This paper discusses the use of digital signatures to store and exchange theorems in a secure way.
متن کاملIntegration of a Vanadium Redox Flow Battery with a Proton Exchange Membrane Fuel Cell as an Energy Storage System
The proton exchange membrane (PEM) fuel cell is a green energy producer which converts chemical energy to electricity in high yield. Alternatively, the vanadium redox flow battery (VRB) is one of the best rechargeable batteries because of its capability to average loads and output power sources. These two systems are modeled by Nernst equation and electrochemical rules. An effective energy gene...
متن کاملIn vitro Plant Regeneration of Helianthus Annuus (Hyb. Azargol) From Alginate-Encapsulated Shoot Tips for Short Term Storage, Germplasm Exchange and Distribution
The present study demonstrates the potential of nutrient-alginate encapsulation of shoot tips of sunflower, Helianthus annuus (hyb. Azargol) for synthetic seed technology, which could be useful in germplasm distribution and exchange. Shoot tips from in vitro shoot cultures derived from mature seed explants were encapsulated in 3% sodium alginate and 100 mM CaCl2. 2H...
متن کاملEncapsulation of Protocorm of Cymbidium bicolor Lindl. for Short-Term Storage and Germplasm Exchange
The present study describes the encapsulation of protocorm of Cymbidium bicolor Lindl. from 60 days-old in seed cultures for short- term conservation and propagation. Various concentrations and combinations of gelling matrix (sodium alginate) and complexing agents (calcium chloride) were tested to prepare uniform beads. The ideal beads were ob- tained through a combination of 3% sodium alginate...
متن کاملAn EOQ model for non-instantaneous deteriorating items with two levels of storage under trade credit policy
A deterministic inventory model with two levels of storage (own warehouse and rented warehouse) with non-instantaneous deteriorating items is studied. The supplier offers the retailer a trade credit period to settle the amount. Different scenarios based on the deterioration and the trade credit period have been considered. In this article, we have framed two models considering single warehouse ...
متن کامل